Niven's Theorem
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, Niven's theorem, named after
Ivan Niven Ivan Morton Niven (October 25, 1915 May 9, 1999) was a Canadian-American mathematician, specializing in number theory and known for his work on Waring's problem. He worked for many years as a professor at the University of Oregon, and was preside ...
, states that the only
rational Rationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abi ...
values of ''θ'' in the interval 0° ≤ ''θ'' ≤ 90° for which the
sine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is oppo ...
of ''θ'' degrees is also a rational number are: : \begin \sin 0^\circ & = 0, \\
0pt PT, Pt, or pt may refer to: Arts and entertainment * ''P.T.'' (video game), acronym for ''Playable Teaser'', a short video game released to promote the cancelled video game ''Silent Hills'' * Porcupine Tree, a British progressive rock group ...
\sin 30^\circ & = \frac 12, \\
0pt PT, Pt, or pt may refer to: Arts and entertainment * ''P.T.'' (video game), acronym for ''Playable Teaser'', a short video game released to promote the cancelled video game ''Silent Hills'' * Porcupine Tree, a British progressive rock group ...
\sin 90^\circ & = 1. \end In
radian The radian, denoted by the symbol rad, is the unit of angle in the International System of Units (SI) and is the standard unit of angular measure used in many areas of mathematics. The unit was formerly an SI supplementary unit (before that c ...
s, one would require that 0 ≤ ''x'' ≤ /2, that ''x''/ be rational, and that sin''x'' be rational. The conclusion is then that the only such values are sin 0 = 0, sin /6 = 1/2, and sin /2 = 1. The theorem appears as Corollary 3.12 in Niven's book on
irrational number In mathematics, the irrational numbers (from in- prefix assimilated to ir- (negative prefix, privative) + rational) are all the real numbers that are not rational numbers. That is, irrational numbers cannot be expressed as the ratio of two integ ...
s. The theorem extends to the other
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
s as well. For rational values of θ, the only rational values of the sine or cosine are 0, ±1/2, and ±1; the only rational values of the secant or cosecant are ±1 and ±2; and the only rational values of the tangent or cotangent are 0 and ±1.A proof for the cosine case appears as Lemma 12 in


See also

*
Pythagorean triples A Pythagorean triple consists of three positive integers , , and , such that . Such a triple is commonly written , and a well-known example is . If is a Pythagorean triple, then so is for any positive integer . A primitive Pythagorean triple is ...
form right triangles where the trigonometric functions will always take rational values, though the acute angles are not rational *
Trigonometric functions In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
*
Trigonometric number In mathematics, the values of the trigonometric functions can be expressed approximately, as in \cos (\pi/4) \approx 0.707, or exactly, as in \cos (\pi/ 4)= \sqrt 2 /2. While trigonometric tables contain many approximate values, the exact values ...


References


Further reading

* * *


External links

* * {{ProofWiki , id=Niven's_Theorem , title=Niven's Theorem Rational numbers Trigonometry Theorems in geometry Theorems in algebra